how do you prove that a ring is commutative